|
1.
|
Applications of process algebra
by Baeten, J. C. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 512 BAE] (1).
|
|
2.
|
Linear logic in computer science
by Ehrhard, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 511.36 EHR] (1).
|
|
3.
|
Geometry of information retrieval
by Van Rijsbergen, C. J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 025.04 VAN] (1).
|
|
4.
|
Computational introduction to number theory and algebra
by Shoup, Victor. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 512.7 SHO] (1).
|
|
5.
|
Lectures in game theory for computer scientists
by Apt, Krzysztof R | Gradel, Erich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2011Availability: Items available for loan: [Call number: 004.015193 APT] (1).
|
|
6.
|
Modern computer algebra
by Gathen, Joachim von Zur | Gerhard, Jurgen. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 512.00285 VON] (1).
|
|
7.
|
Scientific computation
by Gonnet, Gaston H | Scholl, Ralf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2009Availability: Items available for loan: [Call number: 501.51 GON] (1).
|
|
8.
|
Mathematics of public key cryptography
by Galbraith, Steven D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2012Availability: Items available for loan: [Call number: 003.54 GAL] (1).
|
|
9.
|
Quantum computation and quantum information
by Nielsen, Michael A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Cambridge University Press 2010Availability: Items available for loan: [Call number: 004.1 NIE] (1).
|
|
10.
|
Probability and computing : randomization and probabilistic techniques in algorithms and data analysis
by Mitzenmacher, Michael | Upfal, Eli. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2017Availability: No items available Checked out (1).
|
|
11.
|
Connections in discrete mathematics : a celebration of the work of Ron Graham
by Butler, Steve | Cooper, Joshua | Hurlbert, Glenn H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Cambridge University Press, 2018Availability: Items available for loan: [Call number: 511.1 BUT] (1).
|
|
12.
|
Geometric spanner networks
by Narasimhan,Giri | Smid, Michiel. Publisher: Cambridge Cambridge University Press 2007Availability: Items available for loan: [Call number: 005.1 NAR] (1).
|
|
13.
|
Physical perspectives on computation, computational perspectives on physics
by Cuffaro, Michael E. ed | Fletcher, Samuel C. ed. Publisher: Cambridge : Cambridge University Press, 2020Availability: Items available for loan: [Call number: 530.15 CUF] (1).
|
|
14.
|
Signal processing and networking for big data applications
by Han, Zhu | Hong, Mingyi | Wang, Dan. Publisher: Cambridge : Cambridge University Press, 2017Availability: Items available for loan: [Call number: 005.7 HAN] (1).
|